fmap(f)(safeHead(x :: xs)) == fmap(f)(Some(x)) == Some(f(x))